Nuprl Definition : case_tree_leaf
4,23
postcript
pdf
Case tree_leaf(
x
) =>
body
(
x
)
cont
(
x1
,
z
) == Case
x1
of inl(
x2
)
body
(
x2
) ; inr(
_
)
cont
(
z
,
z
)
latex
Definitions
Case tree_leaf(
x
) =>
body
(
x
)
cont
FDL editor aliases
case_tree_leaf
origin
body(x2) ; inr(_) cont(z,z) body(x2) ; inr(_) cont(z,z)